Topos theory - PDFSEARCH.IO - Document Search Engine

Topos theory
Results: 187

#	Item
51	A constructive manifestation of the Kleene–Kreisel continuous functionals Mart´ın Escard´o and Chuangjie Xu University of Birmingham, UK Version of March 27, 2015. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-03-27 08:25:57 Sheaf theory Sheaf Topos Grothendieck topology Continuous function Coherent topology Category Cartesian closed category Topological space Topology Mathematics General topology
52	SITES AND SHEAVES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:29 Sheaf theory Functors Algebraic geometry Homological algebra Sheaf Gluing axiom Grothendieck topology Functor Topos Category theory Abstract algebra Mathematics
53	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory
54	MODULES ON SITES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:44 Sheaf theory Sheaf Gluing axiom Grothendieck topology Topos Stalk Functor Initial and terminal objects Ringed space Category theory Abstract algebra Topology
55	SIMPLICIAL SPACES Contents 1. Introduction 2. Simplicial topological spaces 3. Simplicial sites and topoi Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:09:21 Sheaf theory Algebraic topology Functors Homological algebra Sheaf Topos Grothendieck topology Natural transformation Simplicial set Abstract algebra Category theory Topology
56	´ ETALE COHOMOLOGY Contents 1. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:09:10 Topology Sheaf Étale cohomology Grothendieck topology Étale topology Direct image functor Topos Étale morphism Gluing axiom Abstract algebra Category theory Sheaf theory
57	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-17 04:04:56 Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology Mathematics General topology
58	LIMITS OF ALGEBRAIC SPACES Contents 1. Introduction 2. Conventions 3. Morphisms of finite presentation Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:09:13 Algebraic geometry Scheme theory Topos theory Category theory Algebraic space Étale morphism Grothendieck topology Proper morphism Coherent sheaf Abstract algebra Algebra Sheaf theory
59	-!2/2)%0%2,/&& h!N)MAGEFROMA0AST,IFEv "ECKETTS9EATSIAN4URN 2ECITINGFROM9EATSSh&RIENDSvINCOMINGTOTHELINES Add to Reading List Source URL: wings.buffalo.edu Language: English* - Date: 2008-08-27 17:24:44 Grothendieck topology Sheaf theory Topos theory
60	Making a complaint A guide for parents, carers and students w>fuymfzsg w>fymfw>furÜf w>feJÜfusJv> rd>fy>fwzÜf˜ ySRuG>fxGJw>fwzÜf’D; uFdzdwzÜftD>f Add to Reading List Source URL: www.schools.nsw.edu.au Language: English* - Date: 2013-02-03 01:46:00 Grothendieck topology Sheaf theory Topos theory